Martin-Lof's type theory
马丁·洛夫类型理论，马丁·洛夫类型论
热门查询
- melissa n. 梅利莎（女子名）；蜜蜂花
- Garda ,Lake加尔达湖[意大利北部](意大利最大的湖泊) n. 爱尔兰警察(或卫兵)
- superscalar n. 超标量体系结构
- witty adj. 诙谐的；富于机智的 n. (Witty)人名；(英)威蒂
- Caspar n. 卡斯帕（《圣经》中三哲士之一, 等于Gaspar）
- chorionic adj. 绒（毛）膜的
- pate n. 头；脑袋 n. (Pate)人名；(法、德、意)帕特；(英)佩特
- baiter n. bait的变形
- bodywork n. 车体；车身制造
- riddle n. 谜语；粗筛；谜一般的人、东西、事情等 vt. 解谜；给...出谜；充满于 vi. 出谜 n. (Riddle)人名；(英)里德尔
- unweighted adj. 无重负的；[数] 未加权的；无关紧要的 v. 减重（unweight的过去式和过去分词）
- crystallize vt. 使结晶；明确；使具体化；做成蜜饯 vi. 结晶，形成结晶；明确；具体化
- tolerability n. 容忍度
- leaguer n. 围攻；盟员 vt. 围攻
- DPR abbr. day press rates 杂志报纸估价; double lapping of pure rubber 双层纯橡胶色皮的（导线）
- fraternization n. 友善；结有深交
- downturn n. 衰退（经济方面）；低迷时期
- irreducible adj. [数] 不可约的；不能削减的；不能复归的
- outfielder n. 外场手
- switchback n. 在Z形路轨向原来的方向返驶；改变角度；之字形路 adj. 曲折的；起伏不平的 vi. 蜿蜒而行；采取迂回方针
